The Ackermann Award 2009

The fifth Ackermann Award is presented at this CSL’09, held in Coimbra, Portugal. This is the third year in which the EACSL Ackermann Award is generously sponsored. Our sponsor is the world’s leading provider of personal peripherals, Logitech S.A., situated in Romanel, Switzerland. Eligible for the 2009 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1. 2007 and 31.12. 2008. The Jury received 12 nominations for the Ackermann Award 2009. The candidates came from 10 different nationalities from Europe, North America and Asia and received their PhDs in 9 different countries in Europe and North America. The topics covered the full range of Logic and Computer Science as represented by the LICS and CSL Conferences. All the submissions were of very high standard and contained outstanding results in their particular domain. In the past the Jury reached a consensus to give more than one award. This time, in spite of the extreme high quality of the nominated theses, the Jury decided finally, to give for the year 2009 only one award. The 2009 Ackermann Award winner is